[CPAchecker]CPAchecker 安装前的准备工作 |
您所在的位置：网站首页 › screen 关闭命令 › [CPAchecker]CPAchecker 安装前的准备工作 |
[CPAchecker]CPAchecker 安装前的准备工作
|
概述 在安装 CPAchecker 我们需要完成一些准备工作，包括：安装 Ubuntu 虚拟机，在虚拟机上安装一些可能会使用到的工具（除了 Java、CPAchecker 和 Eclipse 的安装外，其他功能都是可选的）。 一、在虚拟机上安装 Ubuntu 系统虚拟机和 Ubuntu 的版本分别是 VMware® Workstation 17 Pro 和 Ubuntu-22.04.1 ，具体安装步骤不再进行介绍。 1、Ubuntu 的硬件配置如下： Ubuntu 的硬件配置2、关闭锁屏：Settings>>Power>>Power Saving Options>>Screen Blank>>Never  关闭锁屏二、设置共享文件夹挂载共享文件夹，方便后续虚拟机与物理机的文件传输。 物理机新建文件夹，例如： F:\vm-sharevmware>>虚拟机>>设置>>选项>>共享文件夹>>总是启用>>添加>>下一步>>主机路径>>浏览>>选择你要共享的文件夹并确定，例如 F:\vm-share >>名称 vm-share >>下一步>>启用此共享>>完成>>确定 设置共享文件夹 设置共享文件夹查看是否成功挂载共享文件夹： ls /mnt/hgfs/ ，若文件夹出现则挂载成功。 物理机共享文件夹及其内容 虚拟机共享文件夹及文件夹中的内容三、安装 net-tools关闭或者挂起虚拟机再重新运行时往往会出现没有网络的情况，一般都需要查看 ip 和重置网络，所以预先安装好 net-tools 。 sudo apt-get install net-tools 成功安装后输入 ifconfig 可以查看网络配置信息。 如果出现没有网络的情况，首先重启网络 sudo systemctl restart NetworkManager.service ，如果不能解决则需要手动修改网络配置文件，或者修改虚拟机配置。 四、安装 vimvim是十分便捷的编辑器工具，需要简单修改文件时十分方面。（熟悉一些简单的 vim 快捷指令会很有帮助） 安装命令： sudo apt-get install vim 五、安装 JAVA我们使用的是 Ubuntu 默认 OpenJDK 源和版本，当然也可以从 OpenJDK 网站或者 Oracle 网站下载安装其他的版本。 首先查看可使用的 OpenJDK 版本： sudo apt search openjdk 选择一个合适的版本并且安装： sudo apt-get install openjdk-17-jre 查看版本，检查是否安装成功： java -version java 版本配置环境变量：vim /etc/profile 在文件最后加入环境变量： export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64 export CLASSPATH=.:JAVA_HOME/lib export PATH=.:JAVA_HOME/bin:$PATH保存文件后，执行命令 source /etc/profile 使环境变量生效 测试环境变量是否配置成功： 在 ~ 用户目录下创建文件 HelloWorld.java：vim HelloWorld.java ，并编辑代码：public class HelloWorld{ public static void main(String ... s){ System.out.println("Hello world！"); } }保存后，执行命令： java Test.java 如果能够输出 Hello world！则表明环境变量配置成功。六、安装 C/C++ 编译环境C/C++ 编译环境需要安装 GCC，G++，GDB 和 CMake 安装 GCC，G++，GDB ： sudo apt install build-essential gdb 检查 GCC，G++，GDB 是否安装成功joe@joe-virtual-machine:~$ gcc --version gcc (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0 Copyright (C) 2021 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.joe@joe-virtual-machine:~$ g++ --version g++ (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0 Copyright (C) 2021 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.joe@joe-virtual-machine:~$ gdb --version GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1 Copyright (C) 2022 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law.安装 CMake：sudo apt install cmake 检查 CMake 是否安装成功joe@joe-virtual-machine:~$ cmake --version cmake version 3.22.1 CMake suite maintained and supported by Kitware (kitware.com/cmake).七、安装 screenLinux screen 命令用于多重视窗管理程序，screen 为多重视窗管理程序。允许用户关闭当前终端界面时程序仍然可以在后台执行程序。 安装命令：sudo apt-get install screen 具体使用方法课百度搜索关键字 Linux screen 命令 八、安装 natapp 内网穿透工具natapp 是一款内网穿透工具，可选择免费或付费版本，一般场景下免费版本足够使用。 下载 natapp： NATAPP-内网穿透 基于ngrok的国内高速内网映射工具 下载 natapp注册并登录，进入 购买隧道 菜单，按照下图进行配置 购买隧道点击 点击复制 按钮，复制 token 复制 token运行 natapp： ./natapp -authtoken=你刚刚复制的token  运行 natapp natapp 运行界面Forwarding tcp://server.natappfree.cc:43235 -> 127.0.0.1:22 表明我们的地址被映射为 tcp://server.natappfree.cc:43235 ，可在外网访问，Tunnel Status Online 表明当前映射在线运行中 但是当我们关闭终端界面时 natapp 程序就会终止运行，因此我们结合 screen 工具，创建能够在后台运行的程序：screen -R natapp 然后在新打开的窗口中执行 ./natapp -authtoken=你刚刚复制的token ，运行natapp，并使用 ctrl+A+D 组合键可以关闭窗口，但是程序仍然在运行中 回到该 natapp 窗口： screen -R natapp 九、安装 openssh安装 openssh 能够，配合内网穿透工具可以使得我们访问 ubuntu 的时间和方式更加灵活 安装命令：sudoapt-getinstall openssh-server 配合内网穿透工具使用 xshell 连接虚拟机上的 Ubuntu：  使用xshell连接虚拟机十、安装 Eclipse在Eclipse 的下载界面，下载Linux版本安装包 eclipse-java-2022-12-R-linux-gtk-x86_64.tar.gz解压：将压缩包移动至你自己的应用安装位置，执行 tar -zxvf eclipse-java-2022-12-R-linux-gtk-x86_64.tar.gz 创建菜单快捷方式： cd /usr/share/applications sudo vim eclipse.desktop 文件内容如下： [Desktop Entry] Encoding=UTF-8 Name=eclipse Comment=Eclipse IDE Exec=/home/joe/Application/eclipse/eclipse Icon=/home/joe/Application/eclipse/icon.xpm Terminal=false StartupNotify=true Type=Application Categories=GNOME;Development;保存文件后可在菜单中找到快捷方式，点击即可运行 十一、安装 Ant从默认源安装Ant：sudo apt-get install ant 添加环境变量：sudo vim /etc/profile ，并且在文件中追加以下内容，ANT_HOME 设置为你的Ant的安装目录export ANT_HOME=/usr/share/ant export PATH=$PATH:$ANT_HOME/bin执行 source /etc/profile ，重新启用环境变量查看版本，检查是否成功安装： ant -version 十二、准备 CPAChecker 源文件可从 GitHub，GitLab， SVN 任一仓库下载 cpachecker 源文件 cpachecker-trunk.zip解压：将压缩包移动至你自己的工作区，执行unzip cpachecker-trunk.zip （如果解压命令不能使用，需要安装 zip unzip 工具）十三、拍摄快照众所周知，虚拟机上的系统极不稳定，往往会出现各种各样无法解决或者难以解决的问题，因此，配置好所有的工具和文件之后，拍摄快照，保证能够恢复到一个相对完善的环境中。 |
【本文地址】
今日新闻 |
推荐新闻 |